Frequency list
| word | Freq | ||
|---|---|---|---|
| P | N | English | 3 |
|
| P | N | CTL | 2 |
|
| P | N | temporal logic CTL | 1 |
|
| P | N | subsets | 1 |
|
| P | N | subset | 1 |
|
| P | N | sentences | 1 |
|
| P | N | semantic expressibility | 1 |
|
| P | N | restricted subset | 1 |
|
| P | N | model checking | 1 |
|
| P | N | hardware designs | 1 |
|
| P | N | computational semantic analyses | 1 |
|
| P | N | circuit specifications | 1 |
|
| P | N | CTL translation | 1 |
|
| P | N | Automatic conversion | 1 |
|
